

(check (and (< -3.14 3)
            (> 3.14 3)))
